<html>
<head><meta charset="utf-8"><title>sync 2019-05-07 · t-compiler/wg-rfc-2229 · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/index.html">t-compiler/wg-rfc-2229</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html">sync 2019-05-07</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="165092637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165092637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165092637">(May 07 2019 at 17:33)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="1175">@WG-rfc-2229</span>  we will begin here in about 27 minutes. <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="165093559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165093559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> ange <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165093559">(May 07 2019 at 17:44)</a>:</h4>
<p>Thanks for the heads up! Might miss the first 15' or so</p>



<a name="165095178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095178">(May 07 2019 at 18:00)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="1175">@WG-rfc-2229</span></p>



<a name="165095234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095234">(May 07 2019 at 18:01)</a>:</h4>
<p>I've done nothing :P</p>



<a name="165095252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095252">(May 07 2019 at 18:01)</a>:</h4>
<p>Well, that's not entirely true, I left a review for <span class="user-mention" data-user-id="116773">@csmoe</span> as I recall</p>



<a name="165095261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095261">(May 07 2019 at 18:01)</a>:</h4>
<p>but maybe that was last week</p>



<a name="165095262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095262">(May 07 2019 at 18:01)</a>:</h4>
<p>Alright, I think the meeting ends here <span aria-label="rolling on the floor laughing" class="emoji emoji-1f923" role="img" title="rolling on the floor laughing">:rolling_on_the_floor_laughing:</span></p>



<a name="165095273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095273">(May 07 2019 at 18:01)</a>:</h4>
<p>haha I thnk the question <span class="user-mention" data-user-id="128294">@blitzerr</span> is what it will take to land your PR :)</p>



<a name="165095324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095324">(May 07 2019 at 18:02)</a>:</h4>
<p>(well, it may well be that the meeting doesn't last that long :)</p>



<a name="165095366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095366">(May 07 2019 at 18:02)</a>:</h4>
<p>You approved <span class="user-mention" data-user-id="116773">@csmoe</span>   CR, I saw.</p>



<a name="165095383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095383">(May 07 2019 at 18:02)</a>:</h4>
<p>currently I see ~1000 test failures :)</p>



<a name="165095408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095408">(May 07 2019 at 18:03)</a>:</h4>
<p>well, stderr files with diffs</p>



<a name="165095409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095409">(May 07 2019 at 18:03)</a>:</h4>
<p>Right, So I can take some of what you were trying to do with the PR.</p>



<a name="165095412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095412">(May 07 2019 at 18:03)</a>:</h4>
<p>but I think they are all similar problems</p>



<a name="165095444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095444">(May 07 2019 at 18:03)</a>:</h4>
<blockquote>
<p>currently I see ~1000 test failures <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>
</blockquote>
<p>Wow !</p>



<a name="165095449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095449">(May 07 2019 at 18:03)</a>:</h4>
<p>some of them are actually .. likely expected</p>



<a name="165095567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095567">(May 07 2019 at 18:04)</a>:</h4>
<p>there was some change to how closures wind up printing out</p>



<a name="165095572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095572">(May 07 2019 at 18:04)</a>:</h4>
<p>that is one big chunk</p>



<a name="165095579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095579">(May 07 2019 at 18:04)</a>:</h4>
<p>When I was looking at it, it was around 100, and now 1000.</p>



<a name="165095625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095625">(May 07 2019 at 18:04)</a>:</h4>
<p>Hopefully, it will a small fix somewhere and all just go away</p>



<a name="165095652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095652">(May 07 2019 at 18:05)</a>:</h4>
<p>e.g., I get stuff like</p>
<div class="codehilite"><pre><span></span>modified   src/test/ui/block-result/issue-20862.stderr
<span class="gu">@@ -7,7 +7,7 @@ LL |     |y| x + y</span>
    |     ^^^^^^^^^ expected (), found closure
    |
    = note: expected type `()`
<span class="gd">-              found type `[closure@$DIR/issue-20862.rs:2:5: 2:14 x:_]`</span>
<span class="gi">+              found type `[closure@$DIR/issue-20862.rs:2:5: 2:14]`</span>

 error[E0618]: expected function, found `()`
   --&gt; $DIR/issue-20862.rs:7:13
</pre></div>



<a name="165095672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095672">(May 07 2019 at 18:05)</a>:</h4>
<p>actually the vast majority I think are of this kind</p>



<a name="165095680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095680">(May 07 2019 at 18:05)</a>:</h4>
<p>so presumably part of the changes to ppaux</p>



<a name="165095699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095699">(May 07 2019 at 18:05)</a>:</h4>
<p>there are some others</p>



<a name="165095703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095703">(May 07 2019 at 18:05)</a>:</h4>
<div class="codehilite"><pre><span></span>modified   src/test/ui/issues/issue-40827.stderr
<span class="gu">@@ -4,10 +4,8 @@ error[E0277]: `std::rc::Rc&lt;Foo&gt;` cannot be sent between threads safely</span>
 LL |     f(Foo(Arc::new(Bar::B(None))));
    |     ^ `std::rc::Rc&lt;Foo&gt;` cannot be sent between threads safely
    |
<span class="gd">-   = help: within `Bar`, the trait `std::marker::Send` is not implemented for `std::rc::Rc&lt;Foo&gt;`</span>
<span class="gd">-   = note: required because it appears within the type `Bar`</span>
<span class="gi">+   = help: the trait `std::marker::Send` is not implemented for `std::rc::Rc&lt;Foo&gt;`</span>
    = note: required because of the requirements on the impl of `std::marker::Send` for `std::sync::Arc&lt;Bar&gt;`
<span class="gd">-   = note: required because it appears within the type `Foo`</span>
 note: required by `f`
   --&gt; $DIR/issue-40827.rs:11:1
    |
<span class="gu">@@ -20,10 +18,8 @@ error[E0277]: `std::rc::Rc&lt;Foo&gt;` cannot be shared between threads safely</span>
 LL |     f(Foo(Arc::new(Bar::B(None))));
    |     ^ `std::rc::Rc&lt;Foo&gt;` cannot be shared between threads safely
    |
<span class="gd">-   = help: within `Bar`, the trait `std::marker::Sync` is not implemented for `std::rc::Rc&lt;Foo&gt;`</span>
<span class="gd">-   = note: required because it appears within the type `Bar`</span>
<span class="gi">+   = help: the trait `std::marker::Sync` is not implemented for `std::rc::Rc&lt;Foo&gt;`</span>
    = note: required because of the requirements on the impl of `std::marker::Send` for `std::sync::Arc&lt;Bar&gt;`
<span class="gd">-   = note: required because it appears within the type `Foo`</span>
 note: required by `f`
   --&gt; $DIR/issue-40827.rs:11:1
    |
</pre></div>



<a name="165095722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095722">(May 07 2019 at 18:06)</a>:</h4>
<p>so I guess the real question is, <span class="user-mention" data-user-id="128294">@blitzerr</span>, you mentioned you were busy, do you expect to have any time to investigate this sort of thing?</p>



<a name="165095762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095762">(May 07 2019 at 18:06)</a>:</h4>
<p>Ya, the ppaux change was something you were worried about</p>



<a name="165095783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095783">(May 07 2019 at 18:06)</a>:</h4>
<p>I don't <em>quite</em> get why it changed</p>



<a name="165095794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095794">(May 07 2019 at 18:06)</a>:</h4>
<p>Oh, I guess I know why</p>



<a name="165095805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095805">(May 07 2019 at 18:07)</a>:</h4>
<p>this...seems...fixable</p>



<a name="165095826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095826">(May 07 2019 at 18:07)</a>:</h4>
<p>the problem is this line</p>



<a name="165095828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095828">(May 07 2019 at 18:07)</a>:</h4>
<p>I can take a look. I should be able to find some time now.</p>



<a name="165095833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095833">(May 07 2019 at 18:07)</a>:</h4>
<div class="codehilite"><pre><span></span><span class="w">                            </span><span class="k">for</span><span class="w"> </span><span class="p">(</span><span class="n">freevar</span><span class="p">,</span><span class="w"> </span><span class="n">upvar_ty</span><span class="p">)</span><span class="w"> </span><span class="k">in</span><span class="w"> </span><span class="n">freevars</span><span class="p">.</span><span class="n">iter</span><span class="p">().</span><span class="n">zip</span><span class="p">(</span><span class="n">upvar_tys</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
</pre></div>



<a name="165095837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095837">(May 07 2019 at 18:07)</a>:</h4>
<p>in particular, before a certain stage in inference, <code>upvar_tys</code> is <code>&amp;[]</code></p>



<a name="165095839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095839">(May 07 2019 at 18:07)</a>:</h4>
<p>and hence the zip ends early</p>



<a name="165095845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095845">(May 07 2019 at 18:07)</a>:</h4>
<p>but before we used to iterate over the freevars</p>



<a name="165095850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095850">(May 07 2019 at 18:07)</a>:</h4>
<p>eventually, this code <em>will</em> have to change</p>



<a name="165095900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095900">(May 07 2019 at 18:08)</a>:</h4>
<p>Now sure, I will get much done and I understand the provenance of the errors in completeness.</p>



<a name="165095901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095901">(May 07 2019 at 18:08)</a>:</h4>
<p>i.e., before we finish inferring, we won't really <em>know</em> what is captured</p>



<a name="165095903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095903">(May 07 2019 at 18:08)</a>:</h4>
<p>I see</p>



<a name="165095909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095909">(May 07 2019 at 18:08)</a>:</h4>
<p>but I would wait to make that change</p>



<a name="165095920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095920">(May 07 2019 at 18:08)</a>:</h4>
<p>so I think what I would do is that we <em>always</em> iterate over the freevars</p>



<a name="165095928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095928">(May 07 2019 at 18:08)</a>:</h4>
<p>something like this</p>



<a name="165095979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165095979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165095979">(May 07 2019 at 18:09)</a>:</h4>
<p>That makes sense.</p>



<a name="165096000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096000">(May 07 2019 at 18:09)</a>:</h4>
<div class="codehilite"><pre><span></span><span class="k">for</span><span class="w"> </span><span class="p">(</span><span class="n">index</span><span class="p">,</span><span class="w"> </span><span class="n">freevar</span><span class="p">)</span><span class="w"> </span><span class="k">in</span><span class="w"> </span><span class="n">freevars</span><span class="p">.</span><span class="n">iter</span><span class="p">().</span><span class="n">enumerate</span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="k">if</span><span class="w"> </span><span class="kd">let</span><span class="w"> </span><span class="nb">Some</span><span class="p">(</span><span class="n">upvar_ty</span><span class="p">)</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">upvar_tys</span><span class="p">.</span><span class="n">get</span><span class="p">(</span><span class="n">index</span><span class="p">)</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">        </span><span class="p">..</span><span class="w"></span>
<span class="w">    </span><span class="p">}</span><span class="w"> </span><span class="k">else</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">        </span><span class="n">print</span><span class="o">!</span><span class="p">(</span><span class="s">&quot;{}: _&quot;</span><span class="p">);</span><span class="w"> </span><span class="c1">// hacky</span>
<span class="w">    </span><span class="p">}</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</pre></div>



<a name="165096010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096010">(May 07 2019 at 18:09)</a>:</h4>
<p>We thought we somehow got lucky, where upvars were already inferred where we needed to make change, seems not quite</p>



<a name="165096023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096023">(May 07 2019 at 18:09)</a>:</h4>
<p>yeah, that's at least a big chunk of the errors</p>



<a name="165096077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096077">(May 07 2019 at 18:10)</a>:</h4>
<p>not all of them</p>



<a name="165096100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096100">(May 07 2019 at 18:10)</a>:</h4>
<p>Cool. Let me get to that.</p>



<a name="165096109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096109">(May 07 2019 at 18:10)</a>:</h4>
<p>I will send out a revision.</p>



<a name="165096146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096146">(May 07 2019 at 18:11)</a>:</h4>
<p>Your latest changes are already in my branch, right <span class="user-mention" data-user-id="116009">@nikomatsakis</span>  ?</p>



<a name="165096317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096317">(May 07 2019 at 18:12)</a>:</h4>
<p><code>x:_</code> was missing so <code>print!("{}: _", &lt;freevar&gt;); // hacky</code>. ?</p>



<a name="165096345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096345">(May 07 2019 at 18:13)</a>:</h4>
<blockquote>
<p>Your latest changes are already in my branch, right <span class="user-mention silent" data-user-id="116009">nikomatsakis</span>  ?</p>
</blockquote>
<p>yes</p>



<a name="165096375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096375">(May 07 2019 at 18:13)</a>:</h4>
<p>cool, sounds good.</p>



<a name="165096383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096383">(May 07 2019 at 18:13)</a>:</h4>
<blockquote>
<p><code>x:_</code> was missing so <code>print!("{}: _", &lt;freevar&gt;); // hacky</code>. ?</p>
</blockquote>
<p>yeah, the reason I said "hacky" is that</p>



<a name="165096387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096387">(May 07 2019 at 18:13)</a>:</h4>
<p>presently for an inference variable</p>



<a name="165096388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096388">(May 07 2019 at 18:13)</a>:</h4>
<p>we print <code>_</code></p>



<a name="165096393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096393">(May 07 2019 at 18:13)</a>:</h4>
<p>and I'm kind of hard-coding that here</p>



<a name="165096394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096394">(May 07 2019 at 18:13)</a>:</h4>
<p>but oh well</p>



<a name="165096443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096443">(May 07 2019 at 18:14)</a>:</h4>
<p>I guess you could gin up a fake <code>TyInfer</code> and print that :)</p>



<a name="165096448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096448">(May 07 2019 at 18:14)</a>:</h4>
<p>I can see the hack <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="165096454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096454">(May 07 2019 at 18:14)</a>:</h4>
<p>actually</p>



<a name="165096459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096459">(May 07 2019 at 18:14)</a>:</h4>
<p>you could print the "upvar_tuple_ty"</p>



<a name="165096460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096460">(May 07 2019 at 18:14)</a>:</h4>
<p>When people see this line of code, they wouldn't like me anymore :D</p>



<a name="165096464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096464">(May 07 2019 at 18:14)</a>:</h4>
<p>which will be some inference variable :)</p>



<a name="165096475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096475">(May 07 2019 at 18:14)</a>:</h4>
<p>though man that would be confusing</p>



<a name="165096478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096478">(May 07 2019 at 18:14)</a>:</h4>
<p>when you run with <code>-Zverbose</code></p>



<a name="165096488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096488">(May 07 2019 at 18:14)</a>:</h4>
<p>(which prints the identify of inference variables)</p>



<a name="165096496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096496">(May 07 2019 at 18:15)</a>:</h4>
<p>I guess I'd just run with <code>_</code></p>



<a name="165096520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096520">(May 07 2019 at 18:15)</a>:</h4>
<p>it is a hack, but as we said, we're probably going to have to change this format anyway</p>



<a name="165096562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096562">(May 07 2019 at 18:15)</a>:</h4>
<p>Okay, so we freeze the <code>print!("{}: _")</code> hack.</p>



<a name="165096563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> ange <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096563">(May 07 2019 at 18:15)</a>:</h4>
<blockquote>
<p>(which prints the identify of inference variables)</p>
</blockquote>
<p>oh wish I'd known that before</p>



<a name="165096565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096565">(May 07 2019 at 18:16)</a>:</h4>
<p>Got it</p>



<a name="165096645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096645">(May 07 2019 at 18:16)</a>:</h4>
<p>Ya <code>-Zverbose</code> sounds really useful.</p>



<a name="165096682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096682">(May 07 2019 at 18:17)</a>:</h4>
<p>The compiler is full of these great hooks that I don't even know</p>



<a name="165096695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> ange <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096695">(May 07 2019 at 18:17)</a>:</h4>
<p>fwiw I've also done nothing and not sure what there is to do re: computing the paths, as that seems to be dependent on what comes out of some design meeting at some point in the future, which is fair</p>



<a name="165096782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096782">(May 07 2019 at 18:18)</a>:</h4>
<p><span class="user-mention" data-user-id="127677">@ange</span>  You said that your time would be very limited starting May, how does it look ?</p>



<a name="165096783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> ange <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096783">(May 07 2019 at 18:18)</a>:</h4>
<p>fwiw I might have some time next week, if there's anything I can do to help with collecting notes for future discussions</p>



<a name="165096804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> ange <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096804">(May 07 2019 at 18:19)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="127677">ange</span>  You said that your time would be very limited starting May, how does it look ?</p>
</blockquote>
<p>pretty limited :-)</p>



<a name="165096841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096841">(May 07 2019 at 18:19)</a>:</h4>
<p><span aria-label="smiley" class="emoji emoji-1f603" role="img" title="smiley">:smiley:</span></p>



<a name="165096913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165096913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165096913">(May 07 2019 at 18:20)</a>:</h4>
<p>Fair enough.  Whatever works out with your limited time.</p>



<a name="165097073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097073">(May 07 2019 at 18:22)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  Anything more we have for today ?</p>



<a name="165097120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097120">(May 07 2019 at 18:23)</a>:</h4>
<p>Heh, <span class="user-mention" data-user-id="127677">@ange</span>, fwiw, I think that this particular point int he design may indeed block for a semester or so :)</p>



<a name="165097126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097126">(May 07 2019 at 18:23)</a>:</h4>
<blockquote>
<p>Anything more we have for today ?</p>
</blockquote>
<p>I don't have anything :)</p>



<a name="165097131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097131">(May 07 2019 at 18:23)</a>:</h4>
<p>In particular, I'm feeling spread way too thin, and looking for ways to "focus" on one thing at a time :)</p>



<a name="165097148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097148">(May 07 2019 at 18:23)</a>:</h4>
<p>So I'm happy to defer talk of upvars a bit, though I do want to see this RFC advance (I think it's an important ergnomic initiative)</p>



<a name="165097207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097207">(May 07 2019 at 18:24)</a>:</h4>
<p>but at the moment we seem to have some concrete steps still before us (the freevars refactoring, the work that <span class="user-mention" data-user-id="128294">@blitzerr</span> is trying to land)</p>



<a name="165097237"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097237" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097237">(May 07 2019 at 18:24)</a>:</h4>
<blockquote>
<p>In particular, I'm feeling spread way too thin, and looking for ways to "focus" on one thing at a time <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>
</blockquote>
<p>I can only imagine how leading a large OSS like rust would be like</p>



<a name="165097296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097296">(May 07 2019 at 18:25)</a>:</h4>
<p>I am sorry that this RFC hasn't moved as fast as we would have liked</p>



<a name="165097319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097319">(May 07 2019 at 18:25)</a>:</h4>
<p>Please do not apologize for anything :)</p>



<a name="165097326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097326">(May 07 2019 at 18:25)</a>:</h4>
<p>If anyone should be apologizing, it's me ;)</p>



<a name="165097380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097380">(May 07 2019 at 18:26)</a>:</h4>
<p>To be honest, this RFC is advancing far faster than I had expected .. I was worried it'd be deferred forever.</p>



<a name="165097573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097573">(May 07 2019 at 18:28)</a>:</h4>
<p>Cool. Hopefully, we would land this PR soon and then we can work on the more interesting parts. Thanks all for the contributions. Specially <span class="user-mention" data-user-id="116009">@nikomatsakis</span> who probably more meetings than hours and still manages to find time to look at the test failures. <span aria-label="pray" class="emoji emoji-1f64f" role="img" title="pray">:pray:</span></p>



<a name="165097584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> ange <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097584">(May 07 2019 at 18:29)</a>:</h4>
<blockquote>
<p>Heh, <span class="user-mention silent" data-user-id="127677">ange</span>, fwiw, I think that this particular point int he design may indeed block for a semester or so :)</p>
</blockquote>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> that's cool! spending time on it helped me learn a bit more about rustc, looking forward to repeat the experience when the opportunity next arises (time-wise). if anything I've posted so far is ever useful to someone else, that's a nice bonus</p>



<a name="165097618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097618">(May 07 2019 at 18:29)</a>:</h4>
<p>So <span class="user-group-mention" data-user-group-id="1175">@WG-rfc-2229</span> I think this will be all for today. Thank you for your time all.</p>



<a name="165097805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097805">(May 07 2019 at 18:31)</a>:</h4>
<p><span class="user-mention" data-user-id="127677">@ange</span>  can you point me to your notes. I missed them or even better add a link to this RFC roadmap, dropbox paper doc ?</p>



<a name="165097906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> ange <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097906">(May 07 2019 at 18:32)</a>:</h4>
<p><span class="user-mention" data-user-id="128294">@blitzerr</span> sure, though I'll probably get around to it in the weekend (or next week for sure)</p>



<a name="165097946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-05-07/near/165097946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-05-07.html#165097946">(May 07 2019 at 18:32)</a>:</h4>
<p><span class="user-mention" data-user-id="127677">@ange</span>  No worries at all. Get to it, when you get to it</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>